3.2 - Vettori Tangenti

L'idea centrale del calcolo differenziale è l'approssimazione lineare.

Questo concetto ricorre frequentemente nello studio del calcolo differenziale negli spazi euclidei;
ad esempio, una funzione di una variabile può essere approssimata dalla sua retta tangente, una curva parametrica in dal suo vettore velocità, una superficie in dal suo piano tangente, o una funzione da a dalla sua derivata totale.

Per poter rendere sensato il calcolo differenziale sulle varietà, dobbiamo quindi introdurre la nozione di spazio tangente a una varietà in un punto, che possiamo pensare come una sorta di "modello lineare" per la varietà vicino al punto.

Introduzione ai vettori tangenti
...

Iniziamo studiando oggetti molto più concreti: vettori tangenti geometrici in , che possono essere visualizzati come "frecce" attaccate ai punti.

Immaginiamo una varietà nello spazio euclideo, ad esempio la sfera unitaria ;
cosa intendiamo per "vettore tangente" in un punto di ?

Per poter rispondere a questa domanda, dobbiamo prima stabilire come interpretare gli elementi di .
Da un lato, solitamente li consideriamo come punti nello spazio, la cui unica proprietà è la posizione, espressa dalle coordinate .
D'altra parte, quando facciamo analisi, talvolta li consideriamo invece come vettori, oggetti con modulo, direzione e verso, ma la cui posizione è irrilevante.
Un vettore (dove denota l'-esimo vettore della base canonica) può essere visualizzato come una freccia con il suo punto iniziale ovunque in ;
ciò che conta dal punto di vista del vettore è solo dove punta e quanto è lungo.

Con questa seconda interpretazione in mente, abbiamo quindi essenzialmente una copia separata di in ogni punto.
Quando parliamo di vettori tangenti alla sfera in un punto , ad esempio, li immaginiamo in una copia di con l'origine traslata in .

Vettori tangenti geometrici
...

Ecco una definizione preliminare di vettori tangenti nello spazio euclideo.

Definizione 3.2.1 (Spazio tangente geometrico, Vettori tangenti geometrici).

Dato un punto , definiamo lo spazio tangente geometrico a in , indicato con , come l'insieme .

I suoi elementi sono detti vettori tangenti geometrici a in .

Per comodità di notazione, abbreviamo come (o per evitare ambiguità con altri eventuali pedici).
L'idea è di pensare a come al vettore con il punto iniziale in :

Pasted image 20240122095802.png

come spazio vettoriale
...

L'insieme è uno spazio vettoriale reale con le operazioni naturali

I vettori al variare di formano una base per .

In effetti, come spazio vettoriale, è essenzialmente lo stesso di stesso, tramite l'identificazione naturale ;
l'unico motivo per cui aggiungiamo il pedice è per distinguere spazi tangenti geometrici e in punti distinti e , che sono insiemi disgiunti.

Con questa definizione potremmo pensare allo spazio tangente a in un punto come a un certo sottospazio di , nello specifico lo spazio dei vettori ortogonali al vettore radiale unitario che punta in (per definire l'ortogonalità utilizziamo il prodotto scalare euclideo che eredita da tramite l'identificazione naturale):

Pasted image 20240118102003.png

Il problema con questa definizione, tuttavia, è che non ci dà alcun suggerimento su come potremmo definire vettori tangenti su una varietà liscia in generale, dove non c'è un ambiente euclideo.

Dobbiamo perciò cercare un'altra caratterizzazione dei vettori tangenti, incline a essere generalizzata alle varietà.

Vettori tangenti geometrici e derivate direzionali
...

Notiamo intanto che i vettori tangenti geometrici forniscono un modo per calcolare derivate direzionali di funzioni reali.

Infatti, qualsiasi vettore tangente geometrico produce ad esempio una mappa , che calcola la derivata in lungo la direzione di :

Questa operazione è lineare su e soddisfa la regola del prodotto:

Scrivendo in termini della base canonica, applicando la regola della catena alla derivata totale possiamo scrivere più concretamente così:

dove è la -esima derivata parziale di valutata in .


L'associazione della derivata direzionale a un vettore tangente geometrico offre un modo per caratterizzare i vettori tangenti come certi operatori sulle funzioni.
Per rendere questa affermazione precisa, ora studieremo in maggior dettaglio la derivata direzionale come operatore sulle funzioni.

Germi di funzioni
...

Finché due funzioni coincidono in qualche intorno di un punto , avranno le stesse derivate direzionali in ;
ciò suggerisce di introdurre una relazione di equivalenza sulle funzioni definite in qualche intorno di .

In , consideriamo l'insieme di tutte le funzioni di classe , al variare di intorno di ;
definiamo allora la relazione dichiarando quando esiste intorno di , tale che .
Questa è chiaramente una relazione di equivalenza.

Definizione 3.2.2 (Germe di funzioni).

La classe di equivalenza di rispetto a è detta germe di in .

Denotiamo con l'insieme costituito da tutti i germi in delle funzioni definite su intorni di .

L'idea dietro la nozione di germe è quella di identificare oggetti (in questo caso funzioni) che condividono una certa proprietà (in questo caso la legge) a livello locale.
Qualora non ci sia rischio di ambiguità, tenderemo a denotare il germe di una funzione in con lo stesso simbolo ;
basta ricordare che l'uguaglianza è riferita a un intorno di .

È abbastanza immediato vedere che le operazioni definite su , con generico intorno di , sono compatibili con la relazione di equivalenza ;
ciò significa che queste operazioni inducono in modo naturale operazioni corrispondenti su , ben definite:
Con queste operazioni indotte, diventa anch'essa una -algebra commutativa, associativa e unitaria.

In ultima battuta, facciamo la seguente importante

Osservazione 3.2.3 (Derivata direzionale rispetto ai germi di funzioni).

Possiamo modificare l'azione della derivata direzionale , rimpiazzando il dominio con .

Questa modifica è lecita in quanto:

  • la derivata direzionale è un oggetto locale, ben definito su tutte le funzioni definite in un intorno di ;
  • la derivata direzionale è uguale per tutte le funzioni appartenenti allo stesso germe;
  • sono mantenute le proprietà indicate per le derivate direzionali, in quanto le operazioni su sono compatibili con .

D'ora in poi, adotteremo quindi sempre come dominio per queste mappe.

Derivazioni in un punto
...

Ora che abbiamo identificato le funzioni che coincidono localmente intorno a un punto, tenendo a mente le proprietà delle derivate direzionali siamo portati a dare la seguente definizione.

Definizione 3.2.4 (Derivazione in un punto).

Dato un punto , una mappa è chiamata derivazione in (o derivazione puntuale di ) se è lineare su e soddisfa la seguente regola del prodotto, detta identità di Leibniz: Indichiamo con l'insieme di tutte le derivazioni in .


Chiaramente, è uno spazio vettoriale rispetto alle operazioni

Il fatto cruciale su è che questo spazio è naturalmente isomorfo allo spazio tangente geometrico che abbiamo definito prima.

La dimostrazione si baserà sul Lemma di Hadamard (Proposizione 3.1.5) e sul seguente lemma.

Lemma 3.2.5 (Proprietà delle derivazioni).

Siano , e .


Si hanno i seguenti fatti:

  • Se è una funzione costante, allora .
  • Se , allora .

Dimostrazione

È sufficiente dimostrare il primo punto per la funzione costante ;
data una generica funzione costante , avremmo infatti per linearità.

Il fatto che valga segue dall'identità di Leibniz:
che implica .


Il secondo punto segue anch'esso dall'identità di Leibniz:


A questo punto, siamo pronti per dimostrare che i vettori tangenti geometrici si identificano con le derivazioni.

Teorema 3.2.6 (Isomorfismo naturale tra e ).

Sia .


Si hanno i seguenti fatti:

  • Per ogni vettore tangente geometrico , la mappa è una derivazione in ;
  • La mappa è un isomorfismo di -spazi vettoriali.

Dimostrazione

Il fatto che sia una derivazione in è una conseguenza immediata della regola del prodotto mostrata prima;
dobbiamo quindi mostrare solo il secondo punto.

La linearità di è immediata.

Per l'iniettività, prendiamo tale che sia la derivazione nulla.
Scriviamo in termini della base canonica, e come funzione prendiamo la proiezione sulla coordinata -esima 𝓍, che è liscia su ;otteniamo
𝓍dove l'ultima uguaglianza segue dal fatto che 𝓍, la delta di Kronecker.
Dall'arbitrarietà di segue che è il vettore nullo.

Per dimostrare la suriettività, prendiamo ad arbitrio;
motivati dal calcolo precedente, definiamo il vettore 𝓍, e mostriamo che .
A tale scopo, prendiamo , e applichiamo il Lemma di Hadamard (Proposizione 3.1.5):
con le definite come nel Lemma.

Valutando la derivazione in e facendo uso delle proprietà , troviamo Per il Lemma 3.2.5, il primo addendo è nullo e si ha anche 𝓍;
inoltre, per il Lemma di Hadamard (Proposizione 3.1.5).
Allora, abbiamo in definitiva 𝓍che per come abbiamo definito coincide proprio con .

Questo teorema permette di identificare lo spazio dei vettori tangenti geometrici in con lo spazio delle derivazioni in ;
questa nuova interpretazione dei vettori tangenti come derivazioni è più adatta a essere generalizzata alle varietà.

Pertanto, d'ora in poi utilizzeremo principalmente per indicare lo spazio delle derivazioni in .

Corollario 3.2.7 (Base per lo spazio delle derivazioni).

Sia .


Le derivate definite ponendo formano una base per , che quindi ha dimensione .

Dimostrazione

Basta notare che l'isomorfismo del Teorema 3.2.6 manda la base canonica nei vettori .

Vettori tangenti su varietà
...

L'identificazione trovata nel Teorema 3.2.6 ci rende ora in grado di definire i vettori tangenti su qualsiasi varietà liscia.

Definizione 3.2.8 (Derivazioni e Spazi Tangenti su una varietà).

Sia una varietà liscia, e sia .

Si dice derivazione in una mappa 𝓋𝓋che è lineare e soddisfa l'identità di Leibniz: 𝓋𝓋

L'insieme di tutte le derivazioni di in è detto spazio tangente a in , e si denota con ;
in virtù di questa definizione, le derivazioni di in verranno chiamate vettori tangenti a in .

Abbiamo l'analogo del Lemma 3.2.5 per le varietà.

Lemma 3.2.9 (Proprietà dei Vettori Tangenti sulle Varità).

Sia una varietà liscia;
siano , 𝓋, .


Si hanno i seguenti fatti:

  • Se è una funzione costante, allora 𝓋;
  • Se , allora 𝓋.

Dimostrazione

Identica a quella del Lemma 3.2.5.